;; data generated for ICDL 2010 
;; parameters
;;   unobservable: [u1, u2, u3]
;;   observable: [o9, o3, o10, o5, o6, o7, o13, o8, o4, o11, o12, o14, o1, o15, o2]
;;   numEpisodes - 50 meanLength - 100
;; bp
;; --------------
;;   ("o10" 0 2)
;;   ("o10" 6 8)
;;   ("o5" 1 9)
;;   ("u2" 10 11)
;;   ("o9" 4 12)
;;   ("o6" 3 13)
;;   ("u3" 6 13)
;;   ("u1" 7 14)
;;   ("o3" 5 15)
;; --------------
;; core
;; --------------------------------
;;  name:o9 start:7 length:36
;;  name:o3 start:15 length:46
;;  name:o10 start:0 length:4
;;  name:o10 start:25 length:7
;;  name:o5 start:1 length:32
;;  name:o6 start:5 length:45
;;  name:u1 start:30 length:28
;;  name:u2 start:35 length:2
;;  name:u3 start:25 length:25
;; patternLength:61
;; --------------------------------
(0
 (
 ("o10" 4 8)
 ("o6" 7 8)
 ("o7" 5 16)
 ("o4" 8 19)
 ("o7" 17 27)
 ("u3" 10 28)
 ("o4" 23 29)
 ("o10" 29 36)
 ("o5" 5 37)
 ("o1" 3 41)
 ("u2" 39 41)
 ("o7" 32 43)
 ("o4" 42 46)
 ("o9" 11 47)
 ("o6" 9 54)
 ("u3" 29 54)
 ("o9" 48 59)
 ("u1" 34 62)
 ("o7" 48 62)
 ("o3" 19 65)
 ("o4" 60 69)
 ("o5" 54 71)
 ("o7" 63 71)
 ("o14" 34 73)
 ("o3" 66 74)
 ("u2" 42 80)
 ("u1" 63 81)
 ("o11" 57 83)
 ("o7" 76 87)
 ("o4" 81 88)
 ("o1" 47 90)
 ("o8" 7 92)
 ("o12" 68 96)
 ("o7" 88 100)
 ("o4" 92 100)
 ("o2" 33 103)
 ("o3" 89 109)
 ("o13" 77 138)
 ("o1" 94 143)
 ("o10" 85 148)
))
(1
 (
 ("o10" 11 15)
 ("o8" 9 35)
 ("o10" 20 35)
 ("u1" 5 40)
 ("o10" 36 43)
 ("o5" 12 44)
 ("u2" 35 45)
 ("u2" 46 48)
 ("o9" 18 54)
 ("o6" 16 61)
 ("u3" 36 61)
 ("o5" 45 63)
 ("u1" 41 69)
 ("o8" 41 70)
 ("o3" 26 72)
 ("o4" 25 77)
 ("o11" 6 84)
 ("o6" 62 85)
 ("o13" 1 94)
 ("o12" 29 103)
 ("o1" 82 104)
 ("u3" 68 105)
 ("o15" 77 107)
 ("o8" 77 109)
 ("o7" 59 133)
 ("o14" 66 137)
 ("o3" 106 138)
 ("u2" 105 148)
 ("o4" 94 152)
 ("o2" 96 152)
 ("o11" 89 159)
 ("o9" 73 173)
 ("o13" 100 187)
))
(2
 (
 ("o5" 2 17)
 ("o10" 17 21)
 ("o14" 19 27)
 ("u3" 16 41)
 ("u1" 30 46)
 ("o10" 42 49)
 ("o5" 18 50)
 ("o8" 47 53)
 ("u2" 52 54)
 ("o9" 24 60)
 ("o14" 52 61)
 ("o6" 22 67)
 ("u3" 42 67)
 ("u1" 47 75)
 ("o3" 32 78)
 ("o6" 68 79)
 ("o14" 88 93)
 ("o10" 99 101)
 ("o7" 73 104)
 ("o8" 99 104)
 ("o12" 11 105)
 ("o15" 34 123)
 ("o4" 43 125)
 ("o9" 61 141)
 ("o1" 97 143)
 ("o11" 77 156)
 ("o13" 54 157)
 ("u2" 63 158)
 ("o5" 94 188)
))
(3
 (
 ("o7" 19 37)
 ("o10" 33 37)
 ("o13" 24 43)
 ("u1" 61 62)
 ("o10" 58 65)
 ("o5" 34 66)
 ("u2" 62 67)
 ("u2" 68 70)
 ("o2" 18 72)
 ("o10" 66 72)
 ("o7" 46 73)
 ("o9" 40 76)
 ("o1" 30 81)
 ("o6" 38 83)
 ("u3" 58 83)
 ("o13" 78 88)
 ("u1" 63 91)
 ("o3" 48 94)
 ("o4" 75 105)
 ("o7" 81 109)
 ("o8" 74 112)
 ("o14" 47 120)
 ("o12" 39 125)
 ("o15" 57 132)
 ("o11" 76 134)
 ("o3" 95 139)
 ("o2" 88 140)
 ("u3" 84 146)
 ("o9" 77 150)
 ("o5" 72 167)
))
(4
 (
 ("o4" 2 11)
 ("o9" 14 15)
 ("o10" 19 23)
 ("o4" 12 24)
 ("u3" 5 43)
 ("o10" 24 43)
 ("o4" 29 45)
 ("u1" 27 48)
 ("o10" 44 51)
 ("o5" 20 52)
 ("u2" 33 53)
 ("u2" 54 56)
 ("o9" 26 62)
 ("o4" 50 65)
 ("o9" 66 68)
 ("o6" 24 69)
 ("u3" 44 69)
 ("o11" 23 70)
 ("o4" 72 76)
 ("u1" 49 77)
 ("o3" 34 80)
 ("o9" 76 80)
 ("o12" 37 89)
 ("o14" 75 90)
 ("o4" 78 91)
 ("o9" 90 92)
 ("o13" 11 99)
 ("o15" 45 101)
 ("o5" 53 107)
 ("o7" 82 107)
 ("o6" 70 109)
 ("o4" 97 109)
 ("o10" 86 126)
 ("o8" 63 127)
 ("o1" 53 142)
 ("o11" 92 153)
 ("u3" 87 166)
 ("o3" 95 172)
 ("o2" 91 175)
))
(5
 (
 ("o10" 22 27)
 ("o10" 28 32)
 ("o2" 7 43)
 ("u1" 15 44)
 ("o10" 53 60)
 ("o5" 29 61)
 ("u2" 55 62)
 ("u2" 63 65)
 ("o10" 61 69)
 ("o9" 35 71)
 ("o1" 50 77)
 ("o6" 33 78)
 ("u3" 53 78)
 ("o2" 46 84)
 ("o8" 61 84)
 ("u1" 58 86)
 ("o3" 43 89)
 ("o12" 64 93)
 ("o9" 72 97)
 ("u1" 87 98)
 ("o15" 40 110)
 ("o14" 24 111)
 ("o6" 79 118)
 ("o4" 84 125)
 ("o7" 69 136)
 ("o13" 60 141)
 ("o2" 88 143)
 ("o11" 85 177)
))
(6
 (
 ("o10" 18 22)
 ("u3" 28 39)
 ("u2" 11 48)
 ("o10" 43 50)
 ("o5" 19 51)
 ("u2" 53 55)
 ("o9" 25 61)
 ("o6" 23 68)
 ("u3" 43 68)
 ("o4" 61 72)
 ("u1" 48 76)
 ("o3" 33 79)
 ("o2" 55 79)
 ("u1" 77 84)
 ("u3" 78 85)
 ("o5" 52 88)
 ("o10" 75 88)
 ("o6" 69 94)
 ("u2" 63 99)
 ("o3" 80 99)
 ("o9" 92 103)
 ("o14" 11 111)
 ("o11" 5 119)
 ("o7" 83 128)
 ("o15" 62 146)
 ("o13" 86 146)
 ("o12" 74 168)
 ("o1" 89 187)
 ("o8" 79 193)
))
(7
 (
 ("o10" 10 14)
 ("o10" 33 34)
 ("o10" 35 42)
 ("o5" 11 43)
 ("u2" 7 44)
 ("u2" 45 47)
 ("o9" 17 53)
 ("o6" 15 60)
 ("u3" 35 60)
 ("o6" 61 65)
 ("u1" 40 68)
 ("o3" 25 71)
 ("o8" 37 76)
 ("o2" 3 78)
 ("u2" 49 79)
 ("o6" 75 82)
 ("o4" 7 84)
 ("o7" 81 90)
 ("o12" 9 94)
 ("o6" 91 95)
 ("o6" 102 105)
 ("o1" 16 110)
 ("o15" 88 110)
 ("o5" 84 112)
 ("u2" 85 115)
 ("o9" 54 121)
 ("o3" 77 139)
 ("u1" 88 139)
 ("u3" 72 145)
 ("o2" 80 145)
 ("o14" 63 156)
 ("o4" 85 160)
 ("o13" 87 183)
 ("o12" 101 207)
))
(8
 (
 ("o6" 13 27)
 ("o10" 23 27)
 ("o12" 4 28)
 ("o13" 24 30)
 ("o12" 30 50)
 ("o15" 13 52)
 ("o13" 46 55)
 ("o10" 48 55)
 ("o5" 24 56)
 ("u2" 38 57)
 ("u2" 58 60)
 ("o8" 24 61)
 ("o11" 3 62)
 ("o9" 30 66)
 ("o6" 28 73)
 ("u3" 48 73)
 ("o12" 54 76)
 ("u1" 53 81)
 ("o3" 38 84)
 ("o14" 40 84)
 ("o13" 76 84)
 ("o3" 85 89)
 ("o4" 72 91)
 ("u1" 87 92)
 ("o6" 74 99)
 ("o12" 80 104)
 ("o2" 36 112)
 ("o15" 65 117)
 ("o11" 71 118)
 ("o7" 11 120)
 ("o8" 80 121)
 ("o10" 90 125)
 ("o9" 73 153)
 ("o5" 71 162)
 ("o1" 103 177)
))
(9
 (
 ("o15" 31 40)
 ("o8" 14 41)
 ("o6" 35 42)
 ("o10" 41 45)
 ("u1" 11 55)
 ("u3" 36 65)
 ("o10" 61 65)
 ("u1" 62 70)
 ("o8" 48 72)
 ("o10" 66 73)
 ("o5" 42 74)
 ("u2" 57 75)
 ("u2" 76 78)
 ("o9" 48 84)
 ("o15" 77 85)
 ("o4" 45 91)
 ("o6" 46 91)
 ("u3" 66 91)
 ("o9" 85 91)
 ("u1" 71 99)
 ("o3" 56 102)
 ("o14" 36 103)
 ("o7" 85 112)
 ("o8" 80 115)
 ("o5" 85 123)
 ("u1" 100 123)
 ("o12" 25 128)
 ("u3" 104 134)
 ("o3" 103 144)
 ("o1" 92 159)
 ("o2" 68 166)
 ("o13" 85 183)
 ("o11" 101 204)
))
(10
 (
 ("o10" 14 18)
 ("o3" 25 28)
 ("o10" 39 46)
 ("o5" 15 47)
 ("u2" 49 51)
 ("o9" 21 57)
 ("o6" 19 64)
 ("u3" 39 64)
 ("o14" 36 66)
 ("u1" 44 72)
 ("o3" 29 75)
 ("o15" 4 77)
 ("o1" 10 81)
 ("o5" 61 84)
 ("o10" 77 86)
 ("o3" 76 92)
 ("o6" 74 94)
 ("o8" 64 95)
 ("o9" 58 107)
 ("u1" 73 109)
 ("o13" 12 114)
 ("o12" 64 123)
 ("o2" 50 126)
 ("u3" 96 129)
 ("o14" 98 134)
 ("o7" 22 135)
 ("o15" 83 147)
 ("u2" 60 148)
 ("o11" 64 148)
 ("o1" 92 149)
 ("o4" 99 156)
))
(11
 (
 ("o3" 8 12)
 ("o10" 17 21)
 ("u1" 5 29)
 ("o3" 28 31)
 ("o11" 30 37)
 ("o10" 28 41)
 ("u1" 38 46)
 ("o14" 25 47)
 ("o10" 42 49)
 ("o5" 18 50)
 ("u2" 27 51)
 ("u2" 52 54)
 ("o9" 24 60)
 ("o6" 22 67)
 ("u3" 42 67)
 ("o2" 23 68)
 ("o1" 19 71)
 ("o8" 25 74)
 ("o13" 44 74)
 ("u1" 47 75)
 ("o3" 32 78)
 ("o11" 72 81)
 ("o7" 10 95)
 ("o12" 41 95)
 ("o3" 83 95)
 ("o14" 80 111)
 ("u1" 83 111)
 ("o9" 61 116)
 ("u2" 94 120)
 ("o4" 60 128)
 ("o6" 68 140)
 ("o2" 92 142)
 ("o1" 85 152)
 ("o5" 82 166)
))
(12
 (
 ("o10" 7 11)
 ("o14" 5 21)
 ("o10" 32 39)
 ("o5" 8 40)
 ("u2" 1 41)
 ("u2" 42 44)
 ("o12" 9 47)
 ("o9" 14 50)
 ("o14" 27 53)
 ("o6" 12 57)
 ("u3" 32 57)
 ("o4" 49 60)
 ("u1" 37 65)
 ("o3" 22 68)
 ("o2" 42 68)
 ("o14" 60 91)
 ("o12" 54 92)
 ("o6" 82 102)
 ("o15" 22 112)
 ("o13" 71 112)
 ("u3" 58 116)
 ("o14" 98 122)
 ("o1" 43 124)
 ("o11" 58 128)
 ("o10" 55 129)
 ("o12" 101 138)
 ("o5" 101 148)
 ("o3" 88 158)
 ("o8" 77 162)
 ("o7" 72 180)
 ("u2" 101 189)
))
(13
 (
 ("o10" 5 9)
 ("o10" 21 29)
 ("o11" 20 32)
 ("u1" 27 34)
 ("o10" 30 37)
 ("o5" 6 38)
 ("u2" 1 39)
 ("u2" 40 42)
 ("o9" 12 48)
 ("o6" 10 55)
 ("u3" 30 55)
 ("u1" 35 63)
 ("o11" 56 65)
 ("o3" 20 66)
 ("o15" 29 68)
 ("o10" 60 68)
 ("o5" 39 80)
 ("o3" 67 83)
 ("o11" 78 96)
 ("o8" 24 101)
 ("o10" 94 110)
 ("o2" 19 118)
 ("o9" 68 121)
 ("o13" 49 143)
 ("u2" 79 143)
 ("o14" 88 162)
 ("o4" 78 163)
 ("o12" 69 167)
 ("o6" 80 176)
 ("u3" 92 199)
 ("o7" 91 212)
))
(14
 (
 ("o10" 18 22)
 ("o9" 19 24)
 ("o4" 12 39)
 ("o10" 43 50)
 ("o5" 19 51)
 ("o14" 48 52)
 ("u2" 53 55)
 ("o8" 46 60)
 ("o9" 25 61)
 ("o6" 23 68)
 ("u3" 43 68)
 ("u1" 48 76)
 ("o3" 33 79)
 ("o15" 31 82)
 ("o4" 50 82)
 ("o6" 69 87)
 ("o12" 31 90)
 ("u1" 77 94)
 ("o14" 85 94)
 ("o5" 52 103)
 ("o1" 29 107)
 ("o4" 91 114)
 ("o3" 80 117)
 ("o7" 50 124)
 ("u2" 56 130)
 ("o11" 61 135)
 ("o9" 84 136)
 ("o10" 73 141)
 ("u3" 81 151)
 ("o2" 78 158)
))
(15
 (
 ("o5" 2 19)
 ("o6" 5 23)
 ("o10" 19 23)
 ("u3" 10 43)
 ("o11" 26 44)
 ("o10" 44 51)
 ("o5" 20 52)
 ("u2" 54 56)
 ("o9" 26 62)
 ("o6" 24 69)
 ("u3" 44 69)
 ("u2" 59 73)
 ("o9" 63 76)
 ("u1" 49 77)
 ("o7" 11 79)
 ("o3" 34 80)
 ("o11" 70 81)
 ("o2" 72 83)
 ("o12" 14 86)
 ("o5" 53 87)
 ("o4" 70 89)
 ("o15" 61 99)
 ("o1" 13 100)
 ("o13" 29 116)
 ("o14" 44 132)
 ("o8" 80 144)
 ("o6" 78 147)
))
(16
 (
 ("o10" 16 20)
 ("u3" 26 40)
 ("o10" 41 48)
 ("o5" 17 49)
 ("u2" 51 53)
 ("o9" 23 59)
 ("o6" 21 66)
 ("u3" 41 66)
 ("o11" 31 74)
 ("u1" 46 74)
 ("o3" 31 77)
 ("o4" 76 79)
 ("o1" 4 82)
 ("o13" 77 84)
 ("o15" 26 91)
 ("o14" 47 111)
 ("o9" 76 111)
 ("u1" 75 113)
 ("u3" 83 122)
 ("o8" 72 128)
 ("o2" 49 137)
 ("o3" 78 138)
 ("o10" 52 140)
 ("o11" 100 143)
 ("o6" 89 154)
 ("o5" 100 167)
 ("o1" 85 169)
 ("o12" 90 170)
 ("o7" 71 172)
))
(17
 (
 ("o10" 22 46)
 ("o10" 47 51)
 ("o3" 30 61)
 ("o15" 53 63)
 ("o1" 24 64)
 ("o7" 44 74)
 ("u1" 12 76)
 ("u2" 3 79)
 ("o10" 72 79)
 ("o5" 48 80)
 ("u2" 80 81)
 ("u2" 82 84)
 ("o9" 54 90)
 ("o6" 52 97)
 ("u3" 72 97)
 ("u1" 77 105)
 ("o11" 22 107)
 ("o3" 62 108)
 ("o5" 81 108)
 ("o4" 39 113)
 ("o2" 33 117)
 ("o1" 93 127)
 ("o13" 65 157)
 ("o6" 102 169)
 ("o10" 101 170)
 ("o8" 82 198)
 ("o14" 92 198)
))
(18
 (
 ("o2" 6 15)
 ("o2" 18 25)
 ("o6" 3 26)
 ("o10" 22 26)
 ("o2" 30 44)
 ("u1" 14 51)
 ("o15" 38 51)
 ("o2" 45 53)
 ("o10" 47 54)
 ("o5" 23 55)
 ("u2" 57 59)
 ("o2" 57 60)
 ("o9" 29 65)
 ("o2" 61 66)
 ("o8" 6 67)
 ("o6" 27 72)
 ("u3" 47 72)
 ("o5" 56 72)
 ("o2" 68 76)
 ("o10" 55 78)
 ("u1" 52 80)
 ("o3" 37 83)
 ("o13" 46 84)
 ("o2" 77 84)
 ("u3" 73 86)
 ("o7" 39 93)
 ("o1" 68 97)
 ("o4" 36 108)
 ("u2" 72 109)
 ("o6" 73 118)
 ("o11" 54 124)
 ("o12" 55 127)
 ("o8" 73 131)
 ("o14" 40 141)
 ("o3" 84 147)
))
(19
 (
 ("u1" 6 20)
 ("o14" 3 28)
 ("o5" 1 32)
 ("o10" 32 36)
 ("o9" 30 38)
 ("u1" 27 43)
 ("o14" 30 44)
 ("o8" 26 49)
 ("o15" 11 55)
 ("o10" 53 56)
 ("u1" 48 61)
 ("o7" 33 64)
 ("o14" 47 64)
 ("o4" 50 64)
 ("o10" 57 64)
 ("o5" 33 65)
 ("u2" 14 66)
 ("o13" 57 67)
 ("o2" 67 69)
 ("u2" 67 69)
 ("o9" 39 75)
 ("o6" 37 82)
 ("u3" 57 82)
 ("o1" 16 89)
 ("o14" 65 89)
 ("u1" 62 90)
 ("o3" 47 93)
 ("o8" 71 94)
 ("o6" 83 94)
 ("o11" 65 96)
 ("o14" 95 109)
 ("o15" 68 113)
 ("u1" 94 114)
 ("o7" 96 117)
 ("u3" 83 119)
 ("o12" 66 120)
 ("o3" 94 132)
 ("o5" 97 202)
))
(20
 (
 ("o10" 26 30)
 ("o13" 18 36)
 ("u1" 53 55)
 ("o15" 12 56)
 ("o10" 51 58)
 ("o5" 27 59)
 ("u2" 61 63)
 ("o7" 53 68)
 ("o9" 33 69)
 ("o6" 31 76)
 ("u3" 51 76)
 ("u1" 56 84)
 ("o3" 41 87)
 ("o15" 63 88)
 ("o13" 61 94)
 ("o2" 94 98)
 ("o1" 79 102)
 ("o12" 27 104)
 ("o4" 28 106)
 ("o6" 95 106)
 ("o8" 30 108)
 ("o9" 71 123)
 ("o15" 102 124)
 ("o10" 85 136)
 ("o11" 53 141)
 ("u3" 77 143)
 ("o14" 98 187)
))
(21
 (
 ("o10" 1 5)
 ("o11" 4 5)
 ("o11" 11 19)
 ("o11" 27 32)
 ("o10" 26 33)
 ("o5" 2 34)
 ("o13" 14 36)
 ("u2" 36 38)
 ("o11" 34 39)
 ("o9" 8 44)
 ("o11" 40 44)
 ("o6" 6 51)
 ("u3" 26 51)
 ("o11" 48 51)
 ("o12" 14 53)
 ("u1" 31 59)
 ("o11" 52 59)
 ("o3" 16 62)
 ("o13" 44 64)
 ("o11" 67 74)
 ("o8" 64 78)
 ("o11" 83 85)
 ("o7" 17 87)
 ("u3" 85 88)
 ("o12" 59 89)
 ("o13" 72 92)
 ("o11" 90 95)
 ("u1" 81 100)
 ("o11" 98 103)
 ("o5" 35 108)
 ("o11" 109 112)
 ("o9" 59 113)
 ("o13" 104 120)
 ("o10" 84 125)
 ("o3" 72 132)
 ("o6" 96 146)
 ("o12" 102 147)
 ("o14" 90 155)
 ("u2" 90 156)
 ("o15" 58 174)
 ("o4" 88 184)
 ("o1" 99 208)
))
(22
 (
 ("o15" 19 23)
 ("o4" 2 30)
 ("o12" 20 30)
 ("o11" 13 35)
 ("o13" 18 40)
 ("o10" 36 40)
 ("o9" 15 42)
 ("o15" 39 46)
 ("o1" 26 49)
 ("o2" 41 49)
 ("o12" 46 59)
 ("o15" 59 64)
 ("o11" 49 65)
 ("o4" 33 66)
 ("o10" 61 68)
 ("o5" 37 69)
 ("u2" 71 73)
 ("o9" 43 79)
 ("o15" 76 81)
 ("o12" 73 82)
 ("o6" 41 86)
 ("u3" 61 86)
 ("o13" 76 91)
 ("u1" 66 94)
 ("o2" 87 94)
 ("o1" 79 95)
 ("o6" 87 96)
 ("o15" 90 96)
 ("o3" 51 97)
 ("o11" 85 104)
 ("o15" 102 105)
 ("o12" 97 113)
 ("o5" 70 114)
 ("o4" 69 121)
 ("u1" 96 123)
 ("u3" 96 126)
 ("o14" 46 129)
 ("o3" 98 149)
 ("o7" 92 150)
))
(23
 (
 ("o10" 23 27)
 ("o13" 20 37)
 ("o10" 28 41)
 ("u3" 14 47)
 ("o15" 23 52)
 ("o8" 22 53)
 ("o10" 48 55)
 ("o5" 24 56)
 ("u2" 46 57)
 ("o1" 7 59)
 ("u2" 58 60)
 ("o9" 30 66)
 ("o6" 28 73)
 ("u3" 48 73)
 ("o10" 61 79)
 ("u1" 53 81)
 ("o3" 38 84)
 ("o8" 66 87)
 ("o13" 70 88)
 ("o7" 38 90)
 ("o15" 69 96)
 ("u3" 75 99)
 ("o14" 76 99)
 ("o11" 90 109)
 ("o1" 61 116)
 ("o9" 98 117)
 ("o12" 21 119)
 ("o4" 88 135)
 ("o5" 57 146)
 ("o2" 73 181)
 ("o3" 96 187)
 ("o6" 89 190)
))
(24
 (
 ("o10" 3 7)
 ("o10" 19 27)
 ("u1" 3 32)
 ("o10" 28 35)
 ("o5" 4 36)
 ("u2" 11 37)
 ("u2" 38 40)
 ("o9" 10 46)
 ("o5" 46 52)
 ("o6" 8 53)
 ("u3" 28 53)
 ("o14" 33 54)
 ("u1" 33 61)
 ("o3" 18 64)
 ("o15" 39 73)
 ("o12" 47 77)
 ("o5" 67 78)
 ("o1" 11 87)
 ("o14" 79 91)
 ("o4" 46 92)
 ("o6" 54 99)
 ("o5" 91 101)
 ("o7" 40 102)
 ("o3" 92 104)
 ("o11" 79 112)
 ("o13" 71 124)
 ("u3" 59 130)
 ("o9" 48 136)
 ("u2" 82 136)
 ("o1" 90 157)
 ("o10" 97 164)
 ("o8" 93 168)
 ("o2" 87 175)
))
(25
 (
 ("o10" 2 17)
 ("o6" 7 22)
 ("o10" 18 22)
 ("o9" 1 24)
 ("o3" 17 32)
 ("u3" 29 42)
 ("o10" 43 50)
 ("o5" 19 51)
 ("u2" 26 52)
 ("u2" 53 55)
 ("o9" 25 61)
 ("o11" 7 62)
 ("o6" 23 68)
 ("o7" 36 68)
 ("u3" 43 68)
 ("o1" 15 69)
 ("o12" 20 76)
 ("o13" 35 76)
 ("u1" 48 76)
 ("o6" 69 76)
 ("o3" 33 79)
 ("o5" 80 83)
 ("o3" 80 87)
 ("o14" 63 93)
 ("o15" 51 95)
 ("o6" 81 96)
 ("o8" 76 124)
 ("o11" 83 139)
 ("u1" 77 141)
 ("o10" 73 147)
 ("o2" 79 161)
))
(26
 (
 ("o3" 2 9)
 ("o10" 11 15)
 ("o3" 24 25)
 ("o10" 36 43)
 ("o5" 12 44)
 ("o13" 42 47)
 ("o5" 45 47)
 ("u2" 46 48)
 ("o4" 50 52)
 ("o9" 18 54)
 ("o2" 55 57)
 ("o6" 16 61)
 ("u3" 36 61)
 ("o12" 61 62)
 ("o9" 55 67)
 ("u1" 41 69)
 ("o8" 47 70)
 ("o3" 26 72)
 ("u1" 70 72)
 ("o7" 1 81)
 ("o15" 73 86)
 ("o5" 71 87)
 ("u2" 74 96)
 ("o10" 78 98)
 ("o1" 61 102)
 ("o6" 62 104)
 ("o11" 22 105)
 ("o14" 53 114)
))
(27
 (
 ("o15" 7 29)
 ("o8" 7 29)
 ("o5" 10 33)
 ("o6" 29 37)
 ("o10" 33 37)
 ("o8" 34 54)
 ("u3" 51 57)
 ("o15" 33 61)
 ("u1" 60 62)
 ("o10" 58 65)
 ("o5" 34 66)
 ("u2" 36 67)
 ("o1" 16 70)
 ("u2" 68 70)
 ("o9" 40 76)
 ("o8" 60 77)
 ("o6" 38 83)
 ("u3" 58 83)
 ("o2" 41 89)
 ("u1" 63 91)
 ("o15" 70 93)
 ("o3" 48 94)
 ("o12" 33 96)
 ("o8" 80 100)
 ("o7" 49 101)
 ("o6" 84 102)
 ("o13" 77 106)
 ("o9" 78 106)
 ("o4" 101 106)
 ("u3" 106 111)
 ("o10" 68 113)
 ("o11" 51 120)
 ("o14" 64 120)
 ("o15" 100 128)
 ("o3" 100 128)
 ("o8" 105 130)
 ("o1" 82 144)
 ("o5" 88 150)
))
(28
 (
 ("o10" 10 14)
 ("o8" 30 31)
 ("o2" 20 38)
 ("o10" 35 42)
 ("o5" 11 43)
 ("u2" 45 47)
 ("o9" 17 53)
 ("o6" 15 60)
 ("u3" 35 60)
 ("u1" 40 68)
 ("o8" 62 68)
 ("o3" 25 71)
 ("o3" 72 73)
 ("o2" 59 78)
 ("o1" 2 93)
 ("o14" 18 95)
 ("o9" 62 95)
 ("o11" 73 100)
 ("o6" 83 103)
 ("o13" 77 106)
 ("o12" 81 109)
 ("o4" 33 110)
 ("o5" 53 113)
 ("o15" 48 126)
 ("u3" 75 130)
 ("o7" 81 134)
 ("o10" 66 154)
 ("u2" 48 157)
))
(29
 (
 ("o4" 17 27)
 ("o10" 25 29)
 ("o9" 6 31)
 ("o7" 15 32)
 ("o3" 16 38)
 ("o4" 44 54)
 ("o10" 50 57)
 ("o5" 26 58)
 ("u2" 60 62)
 ("o11" 4 65)
 ("o9" 32 68)
 ("o8" 19 70)
 ("o7" 50 71)
 ("o6" 30 75)
 ("u3" 50 75)
 ("u1" 55 83)
 ("o15" 43 85)
 ("o3" 40 86)
 ("o4" 68 88)
 ("o14" 43 91)
 ("o13" 84 93)
 ("o3" 87 106)
 ("o6" 76 113)
 ("o11" 71 114)
 ("o5" 59 119)
 ("o10" 71 121)
 ("o2" 22 122)
 ("o1" 52 136)
 ("o8" 86 136)
))
(30
 (
 ("o8" 7 10)
 ("o10" 7 12)
 ("o10" 13 17)
 ("o8" 16 17)
 ("o2" 9 20)
 ("o13" 23 27)
 ("o3" 25 27)
 ("o8" 25 27)
 ("o2" 27 30)
 ("o8" 33 35)
 ("u3" 27 37)
 ("o8" 37 38)
 ("o10" 38 45)
 ("o5" 14 46)
 ("o8" 44 47)
 ("u2" 46 47)
 ("o2" 43 48)
 ("o13" 45 49)
 ("o15" 18 50)
 ("u2" 48 50)
 ("o8" 52 54)
 ("o9" 20 56)
 ("o6" 18 63)
 ("u3" 38 63)
 ("o2" 59 63)
 ("o8" 62 63)
 ("u3" 64 69)
 ("o8" 68 69)
 ("u1" 43 71)
 ("o13" 62 72)
 ("o3" 28 74)
 ("o2" 70 74)
 ("o8" 73 76)
 ("o4" 24 80)
 ("o8" 81 82)
 ("o15" 65 88)
 ("o2" 87 94)
 ("o13" 88 95)
 ("u1" 81 99)
 ("o14" 61 102)
 ("o6" 64 109)
 ("o1" 44 110)
 ("o12" 63 118)
 ("o9" 57 135)
 ("o7" 82 143)
 ("o5" 59 144)
 ("o10" 80 159)
 ("o11" 89 166)
))
(31
 (
 ("o6" 12 20)
 ("o10" 16 20)
 ("o4" 29 38)
 ("o2" 36 46)
 ("o10" 41 48)
 ("o5" 17 49)
 ("u2" 51 53)
 ("o9" 23 59)
 ("o8" 24 59)
 ("o12" 19 63)
 ("o15" 42 63)
 ("o6" 21 66)
 ("u3" 41 66)
 ("o1" 33 67)
 ("u1" 46 74)
 ("o3" 31 77)
 ("o14" 70 81)
 ("o4" 75 81)
 ("o5" 60 85)
 ("o2" 89 90)
 ("o7" 2 97)
 ("u1" 83 102)
 ("o3" 85 116)
 ("o8" 86 121)
 ("o5" 102 124)
 ("o12" 87 129)
 ("u2" 81 135)
 ("o11" 42 138)
 ("o6" 91 153)
 ("o1" 103 159)
 ("u3" 95 185)
 ("o9" 94 186)
 ("o7" 98 193)
 ("o13" 107 203)
))
(32
 (
 ("o6" 3 8)
 ("o10" 4 8)
 ("o10" 29 36)
 ("o5" 5 37)
 ("u2" 39 41)
 ("o9" 11 47)
 ("o5" 49 52)
 ("o6" 9 54)
 ("u3" 29 54)
 ("o7" 33 56)
 ("u1" 34 62)
 ("o3" 19 65)
 ("o4" 39 79)
 ("o13" 61 84)
 ("o1" 52 94)
 ("o2" 63 101)
 ("o5" 98 102)
 ("o14" 48 104)
 ("o10" 66 107)
 ("u2" 42 111)
 ("o8" 66 116)
 ("o3" 89 117)
 ("o6" 66 122)
 ("o7" 96 126)
 ("u3" 55 128)
 ("o9" 75 130)
 ("o11" 39 148)
 ("o15" 72 163)
 ("o12" 89 165)
 ("u1" 86 181)
))
(33
 (
 ("o10" 6 10)
 ("o2" 29 37)
 ("o10" 31 38)
 ("o5" 7 39)
 ("u2" 34 40)
 ("u2" 41 43)
 ("o9" 13 49)
 ("o8" 7 55)
 ("o6" 11 56)
 ("u3" 31 56)
 ("o14" 4 59)
 ("o2" 52 63)
 ("u1" 36 64)
 ("o3" 21 67)
 ("o2" 83 98)
 ("o6" 89 110)
 ("o14" 63 116)
 ("o4" 58 124)
 ("o1" 102 129)
 ("o8" 61 130)
 ("u1" 105 132)
 ("o15" 93 136)
 ("o10" 49 146)
 ("o13" 66 163)
 ("o11" 62 169)
 ("o3" 101 170)
 ("u3" 73 185)
 ("o5" 86 194)
))
(34
 (
 ("o10" 2 11)
 ("o10" 12 16)
 ("u1" 39 41)
 ("o12" 3 42)
 ("o10" 37 44)
 ("o5" 13 45)
 ("u2" 26 46)
 ("u2" 47 49)
 ("o8" 47 52)
 ("o9" 19 55)
 ("o11" 43 61)
 ("o6" 17 62)
 ("u3" 37 62)
 ("o4" 1 70)
 ("u1" 42 70)
 ("o3" 27 73)
 ("o2" 1 81)
 ("o12" 51 89)
 ("o13" 6 93)
 ("o7" 77 101)
 ("o8" 93 102)
 ("o1" 69 110)
 ("o9" 56 115)
 ("o15" 93 123)
 ("o3" 93 124)
 ("o5" 76 130)
 ("o6" 63 133)
 ("o4" 72 140)
 ("o14" 83 149)
 ("o10" 74 152)
 ("u3" 63 154)
 ("o2" 83 173)
))
(35
 (
 ("o2" 12 22)
 ("o13" 22 24)
 ("u2" 2 25)
 ("o5" 10 33)
 ("o10" 33 37)
 ("u2" 27 40)
 ("o13" 42 44)
 ("o3" 44 47)
 ("o2" 40 56)
 ("o10" 51 57)
 ("u3" 52 57)
 ("o13" 58 60)
 ("u1" 26 62)
 ("o7" 43 62)
 ("o10" 58 65)
 ("o5" 34 66)
 ("u2" 42 67)
 ("o4" 53 70)
 ("u2" 68 70)
 ("o9" 40 76)
 ("o13" 76 77)
 ("o6" 38 83)
 ("u3" 58 83)
 ("u2" 71 86)
 ("o2" 76 88)
 ("o13" 88 89)
 ("u1" 63 91)
 ("o3" 48 94)
 ("o5" 67 95)
 ("o8" 58 101)
 ("o13" 99 102)
 ("o7" 92 105)
 ("o11" 86 106)
 ("u2" 88 106)
 ("o1" 56 110)
 ("o2" 99 112)
 ("u1" 92 124)
 ("u2" 109 129)
 ("o15" 73 131)
 ("o5" 104 136)
 ("o12" 66 142)
 ("o6" 84 142)
 ("o9" 90 157)
 ("o14" 87 199)
))
(36
 (
 ("o10" 11 20)
 ("o10" 21 25)
 ("u3" 43 45)
 ("o2" 37 51)
 ("o10" 46 53)
 ("o5" 22 54)
 ("o12" 20 55)
 ("u2" 29 55)
 ("u2" 56 58)
 ("o9" 28 64)
 ("o1" 22 68)
 ("o6" 26 71)
 ("u3" 46 71)
 ("o8" 49 71)
 ("u1" 51 79)
 ("o3" 36 82)
 ("o14" 26 93)
 ("o10" 55 93)
 ("o9" 72 93)
 ("o5" 55 98)
 ("o2" 87 100)
 ("o15" 74 116)
 ("o4" 48 122)
 ("o12" 77 123)
 ("o10" 97 125)
 ("o7" 69 134)
 ("o6" 72 148)
 ("o13" 80 159)
 ("o11" 87 169)
 ("u1" 80 178)
))
(37
 (
 ("o10" 29 33)
 ("o9" 11 35)
 ("o3" 31 43)
 ("o14" 39 57)
 ("o2" 56 59)
 ("o10" 54 61)
 ("o5" 30 62)
 ("u2" 64 66)
 ("o9" 36 72)
 ("o6" 34 79)
 ("u3" 54 79)
 ("u1" 59 87)
 ("o3" 44 90)
 ("u2" 71 98)
 ("o7" 57 103)
 ("o14" 88 107)
 ("o1" 58 117)
 ("o5" 63 123)
 ("o11" 1 128)
 ("o15" 64 133)
 ("u3" 88 143)
 ("o13" 107 174)
 ("u1" 88 175)
 ("o8" 101 179)
 ("o10" 97 184)
 ("o12" 110 184)
 ("o4" 98 199)
 ("o6" 80 202)
))
(38
 (
 ("o11" 8 10)
 ("o10" 5 17)
 ("o10" 18 22)
 ("o11" 21 27)
 ("u2" 4 31)
 ("o13" 25 31)
 ("o3" 4 32)
 ("o11" 43 48)
 ("o8" 35 50)
 ("o10" 43 50)
 ("o5" 19 51)
 ("u2" 38 52)
 ("u2" 53 55)
 ("o13" 51 57)
 ("o9" 25 61)
 ("o11" 57 61)
 ("o6" 23 68)
 ("u3" 43 68)
 ("o11" 70 74)
 ("u1" 48 76)
 ("o3" 33 79)
 ("o11" 80 86)
 ("o2" 44 94)
 ("o13" 85 95)
 ("o1" 46 102)
 ("o11" 101 104)
 ("u3" 101 109)
 ("o8" 99 115)
 ("o9" 74 116)
 ("u2" 78 116)
 ("u1" 77 118)
 ("o14" 45 130)
 ("o3" 80 131)
 ("o7" 78 139)
 ("o12" 81 158)
 ("o4" 93 170)
 ("o5" 88 175)
 ("o15" 75 176)
 ("o6" 92 183)
 ("o10" 102 187)
))
(39
 (
 ("o2" 16 21)
 ("o7" 28 31)
 ("u3" 31 33)
 ("o10" 30 34)
 ("o2" 41 54)
 ("o8" 37 56)
 ("u1" 42 59)
 ("o10" 55 62)
 ("o5" 31 63)
 ("u2" 41 64)
 ("o7" 64 67)
 ("u2" 65 67)
 ("o15" 44 68)
 ("o9" 37 73)
 ("o2" 68 74)
 ("o6" 35 80)
 ("u3" 55 80)
 ("u1" 60 88)
 ("o3" 45 91)
 ("o5" 90 92)
 ("o7" 91 94)
 ("o2" 88 104)
 ("o14" 82 106)
 ("o1" 19 111)
 ("o8" 97 114)
 ("o3" 92 118)
 ("o4" 53 126)
 ("o10" 63 130)
 ("o12" 93 132)
 ("o6" 89 145)
 ("o13" 61 147)
 ("o9" 74 163)
))
(40
 (
 ("o10" 0 4)
 ("o3" 9 14)
 ("o10" 23 24)
 ("o10" 25 32)
 ("o5" 1 33)
 ("u2" 35 37)
 ("o9" 7 43)
 ("o7" 13 49)
 ("o6" 5 50)
 ("u3" 25 50)
 ("o9" 44 53)
 ("u2" 46 55)
 ("o2" 42 56)
 ("o10" 53 56)
 ("u1" 30 58)
 ("o3" 15 61)
 ("o12" 63 75)
 ("o8" 24 77)
 ("o1" 73 78)
 ("o4" 5 80)
 ("o9" 65 81)
 ("u3" 51 83)
 ("o10" 83 84)
 ("o11" 12 85)
 ("o7" 55 90)
 ("u2" 91 99)
 ("o5" 45 106)
 ("o9" 89 106)
 ("o10" 105 106)
 ("u1" 59 112)
 ("o2" 102 116)
 ("o3" 78 141)
 ("o7" 99 142)
 ("o6" 98 148)
 ("o14" 23 150)
 ("o13" 70 158)
 ("o8" 106 162)
 ("o4" 85 168)
 ("o11" 92 170)
 ("o15" 66 173)
 ("u3" 103 186)
))
(41
 (
 ("o10" 22 26)
 ("o9" 1 28)
 ("o2" 18 36)
 ("o1" 16 45)
 ("u1" 35 51)
 ("o10" 47 54)
 ("o5" 23 55)
 ("o7" 54 59)
 ("u2" 57 59)
 ("o9" 29 65)
 ("o2" 48 67)
 ("o6" 27 72)
 ("u3" 47 72)
 ("o9" 66 75)
 ("u1" 52 80)
 ("o3" 37 83)
 ("o1" 59 86)
 ("o13" 69 93)
 ("o5" 58 94)
 ("o2" 75 103)
 ("o11" 4 108)
 ("o14" 98 108)
 ("u2" 93 111)
 ("o9" 76 112)
 ("o7" 114 121)
 ("o1" 105 129)
 ("o15" 41 130)
 ("o12" 56 136)
 ("o2" 112 139)
 ("o9" 114 148)
 ("o10" 55 155)
 ("o3" 100 198)
 ("o6" 107 207)
 ("o8" 91 216)
 ("o11" 113 242)
))
(42
 (
 ("o10" 21 25)
 ("o3" 21 31)
 ("o10" 46 53)
 ("o5" 22 54)
 ("u2" 56 58)
 ("o9" 28 64)
 ("o6" 26 71)
 ("u3" 46 71)
 ("o14" 56 71)
 ("o13" 61 74)
 ("o6" 72 78)
 ("u1" 51 79)
 ("o3" 36 82)
 ("o11" 3 85)
 ("o2" 63 89)
 ("o5" 55 90)
 ("o10" 66 100)
 ("o8" 56 103)
 ("o15" 43 106)
 ("o9" 65 108)
 ("u1" 80 110)
 ("u3" 72 111)
 ("o1" 24 128)
 ("o4" 89 142)
 ("o12" 67 143)
 ("o7" 71 151)
 ("o11" 89 183)
))
(43
 (
 ("o10" 0 4)
 ("o10" 25 32)
 ("o5" 1 33)
 ("u2" 35 37)
 ("o9" 7 43)
 ("o6" 5 50)
 ("u3" 25 50)
 ("o14" 50 53)
 ("u1" 30 58)
 ("o3" 15 61)
 ("o12" 7 68)
 ("o4" 45 70)
 ("o6" 60 72)
 ("o7" 3 85)
 ("u2" 38 87)
 ("o13" 10 90)
 ("o1" 55 92)
 ("o15" 70 110)
 ("o11" 32 113)
 ("u3" 84 116)
 ("o2" 78 118)
 ("o5" 56 122)
 ("o3" 73 129)
 ("o10" 89 131)
 ("o12" 73 142)
 ("u1" 75 143)
))
(44
 (
 ("o10" 0 4)
 ("o10" 25 32)
 ("o5" 1 33)
 ("u2" 35 37)
 ("o9" 7 43)
 ("o8" 1 48)
 ("o6" 5 50)
 ("u3" 25 50)
 ("u1" 30 58)
 ("o3" 15 61)
 ("o14" 37 65)
 ("u3" 51 68)
 ("o10" 33 70)
 ("o7" 26 75)
 ("o12" 58 75)
 ("o4" 64 81)
 ("o11" 75 84)
 ("u1" 68 89)
 ("o8" 50 90)
 ("o2" 44 117)
 ("o8" 91 122)
 ("u3" 102 129)
 ("o5" 43 143)
 ("o10" 96 146)
 ("o6" 81 151)
 ("o15" 94 154)
 ("u2" 85 155)
 ("o7" 97 156)
 ("o9" 72 163)
 ("o3" 86 181)
 ("o1" 80 189)
))
(45
 (
 ("o10" 8 22)
 ("u2" 20 26)
 ("o6" 15 27)
 ("o10" 23 27)
 ("o3" 18 37)
 ("o2" 7 42)
 ("u3" 13 47)
 ("o10" 48 55)
 ("o5" 24 56)
 ("u2" 52 57)
 ("u2" 58 60)
 ("o9" 30 66)
 ("o6" 28 73)
 ("u3" 48 73)
 ("u1" 53 81)
 ("o8" 18 83)
 ("o2" 53 83)
 ("o3" 38 84)
 ("o12" 75 90)
 ("u2" 87 96)
 ("u1" 82 101)
 ("o4" 66 103)
 ("o10" 64 109)
 ("o5" 68 109)
 ("o11" 59 110)
 ("o6" 77 124)
 ("o2" 95 128)
 ("o7" 51 132)
 ("o13" 67 145)
 ("o9" 95 148)
 ("o14" 64 161)
 ("o15" 72 168)
 ("o8" 107 177)
))
(46
 (
 ("o8" 28 41)
 ("o5" 14 42)
 ("o10" 42 46)
 ("o6" 45 46)
 ("o3" 47 56)
 ("o4" 31 61)
 ("o8" 52 61)
 ("o10" 60 66)
 ("u1" 43 71)
 ("o10" 67 74)
 ("o5" 43 75)
 ("u2" 46 76)
 ("u2" 77 79)
 ("o9" 49 85)
 ("o1" 83 88)
 ("o12" 23 92)
 ("o6" 47 92)
 ("u3" 67 92)
 ("o6" 93 96)
 ("o8" 81 98)
 ("o9" 86 99)
 ("u1" 72 100)
 ("o3" 57 103)
 ("u3" 96 106)
 ("o4" 94 119)
 ("o14" 33 129)
 ("o5" 87 131)
 ("o13" 93 131)
 ("o2" 75 138)
 ("o11" 82 139)
 ("o15" 67 160)
 ("o7" 103 182)
))
(47
 (
 ("o15" 8 14)
 ("o10" 14 18)
 ("o15" 28 44)
 ("o10" 39 46)
 ("o5" 15 47)
 ("o5" 48 49)
 ("u2" 49 51)
 ("o9" 21 57)
 ("o7" 16 58)
 ("o12" 20 61)
 ("o6" 19 64)
 ("u3" 39 64)
 ("o15" 55 67)
 ("o13" 32 69)
 ("u1" 44 72)
 ("o3" 29 75)
 ("u2" 61 80)
 ("o9" 78 83)
 ("o15" 75 89)
 ("o4" 13 93)
 ("o1" 91 103)
 ("o5" 96 112)
 ("o15" 101 112)
 ("o7" 76 120)
 ("o13" 93 122)
 ("o14" 39 131)
 ("o2" 96 133)
 ("o8" 46 135)
 ("o12" 80 142)
 ("u1" 79 155)
 ("o6" 95 159)
 ("o11" 83 176)
 ("o3" 107 181)
 ("o4" 102 186)
 ("u3" 95 199)
))
(48
 (
 ("o5" 1 7)
 ("o10" 7 11)
 ("o10" 29 31)
 ("u1" 4 36)
 ("o10" 32 39)
 ("o5" 8 40)
 ("u2" 1 41)
 ("u2" 42 44)
 ("o9" 14 50)
 ("o6" 12 57)
 ("u3" 32 57)
 ("u1" 37 65)
 ("o3" 22 68)
 ("o8" 66 71)
 ("o6" 58 79)
 ("o11" 20 85)
 ("o3" 69 86)
 ("o14" 74 91)
 ("o10" 71 97)
 ("o13" 30 110)
 ("o1" 21 120)
 ("o5" 60 121)
 ("u3" 75 122)
 ("o3" 102 124)
 ("o4" 79 133)
 ("u2" 78 145)
 ("o6" 113 149)
 ("o7" 100 172)
 ("o15" 103 185)
 ("o11" 119 185)
 ("o9" 106 198)
 ("o2" 109 218)
 ("u1" 121 245)
))
(49
 (
 ("u2" 2 23)
 ("o15" 18 30)
 ("o6" 5 36)
 ("o10" 32 36)
 ("o9" 12 38)
 ("o11" 34 44)
 ("u3" 40 44)
 ("o4" 5 46)
 ("o3" 35 46)
 ("u2" 25 48)
 ("o10" 57 64)
 ("o5" 33 65)
 ("u2" 49 66)
 ("u2" 67 69)
 ("o12" 27 75)
 ("o9" 39 75)
 ("o15" 53 75)
 ("o8" 30 79)
 ("o10" 65 79)
 ("o7" 63 80)
 ("o11" 70 81)
 ("o6" 37 82)
 ("u3" 57 82)
 ("o4" 49 85)
 ("u2" 72 85)
 ("u3" 84 88)
 ("u1" 62 90)
 ("o3" 47 93)
 ("o6" 83 99)
 ("o5" 94 103)
 ("o14" 57 108)
 ("o15" 97 111)
 ("u2" 88 112)
 ("u1" 91 112)
 ("o2" 87 113)
 ("o4" 89 140)
 ("o9" 76 141)
 ("o1" 83 158)
 ("o13" 55 159)
))
